In mathematics, the effective topos is a
topos
In mathematics, a topos (, ; plural topoi or , or toposes) is a category that behaves like the category of sheaves of sets on a topological space (or more generally: on a site). Topoi behave much like the category of sets and possess a notio ...
introduced by , based on
Kleene's notion of recursive realizability, that captures the idea of
effectivity in mathematics.
References
*
*
*
*
Topos theory
{{cattheory-stub